Some model theory of Polish structures
نویسندگان
چکیده
منابع مشابه
Some model theory of Polish structures
We introduce a notion of Polish structure and, in doing so, provide a setting which allows the application of ideas and techniques from model theory, descriptive set theory, topology and the theory of profnite groups. We define a topological notion of independence in Polish structures and prove that it has some nice properties. Using this notion, we prove counterparts of some basic results from...
متن کاملSome Model Theory for Probability Structures
A b s t r a c t. In this paper we study some model theory for Gaif-man probability structures. A classical result of Horn-Tarski concerning the extension of probabilities on Boolean algebras will allow us to prove some preservation theorems for probability structures, the model-companion of logical probability, etc. extending some classical results in eastern model theory.
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Model Theory on Finite Structures
In mathematical logic, the notions of mathematical structure, language and proof themselves become the subject of mathematical investigation, and are treated as first class mathematical objects in their own right. Model theory is the branch of mathematical logic that is particularly concerned with the relationship between structure and language. It seeks to establish the limits of the expressiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2010
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-10-04988-3